Norms and Logic

Correspondence between probabilistic norms and fuzzy norms

In this paper, the connection between Menger probabilistic norms and H"{o}hle probabilistic norms is discussed. In addition, the correspondence between probabilistic norms and Wu-Fang fuzzy (semi-) norms is established. It is shown that a probabilistic norm (with triangular norm $min$) can generate a Wu-Fang fuzzy semi-norm and conversely, a Wu-Fang fuzzy norm can generate a probabilistic norm.

Typed Norms for Typed Logic Programs

Expressibility of norms in temporal logic

In this short note we address the issue of expressing norms (such as obligations and prohibitions) in temporal logic. In particular, we address the argument from [1] that norms cannot be expressed in Linear Time Temporal Logic (LTL). Recently, doubts were raised in [1] regarding suitability of LTL and other temporal logics for expressing ‘real life’ norms. We claim that the argument in [1] does...

A Deontic Logic for Socially Optimal Norms

The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between coalitionally optimal and socially optimal choices. Norms are seen as social constructions that enable to enforce socially desirable outcomes. aThis paper has been presented at the Ninth International Workshop on Deon...

Extending Disjunctive Logic Programming by T-norms

This paper proposes a new knowledge representation language, called QDLP, which extends DLP to deal with uncertain values. A certainty degree interval (a subinterval of [0; 1]) is assigned to each (quantitative) rule. Triangular norms (T -norms) are employed to define calculi for propagating uncertainty information from the premises to the conclusion of a quantitative rule. Negation is consider...